//Source file: C:\\Users\\10940\\Desktop\\rose_code\\Price.java


public interface Price 
{
   public User theUser;
   
   /**
   @roseuid 658D187000AA
    */
   public void discount();
}
